home *** CD-ROM | disk | FTP | other *** search
/ Shareware Grab Bag / Shareware Grab Bag.iso / 007 / examples.arc / EXAMPL15.PRO < prev    next >
Encoding:
Prolog Source  |  1986-10-07  |  352 b   |  21 lines
  1. /* Program 15 */
  2. /*
  3.   Goals to enter are on page 57 of the manual.
  4. */
  5.  
  6. domains
  7.     name = symbol
  8.  
  9. predicates
  10.     father(name,name)
  11.     everybody
  12.  
  13. clauses
  14.     father(leonard,katherine).
  15.     father(carl,jason).
  16.     father(carl,marilyn).
  17.     everybody if
  18.         father(X,Y),
  19.         write(X," is ",Y,"'s father\n") and
  20.         fail.
  21.